Preferences file. Do not delete.